⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·1d
🎯Performance Proofs
Matmul on Blackwell: Part 2 – Using Hardware Features to Optimize Matmul
modular.com·5h·
Discuss: Hacker News
⚡SIMD Optimization
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·7h·
Discuss: DEV
👁️System Observability
Program verification is not all-or-nothing
lawrencecpaulson.github.io·1d
🎯Performance Proofs
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·15h
🔗Monadic Parsing
Context Engineering: Rapid Agent Prototyping – Jason Liu
jxnl.co·5h·
Discuss: Hacker News
⚡Proof Automation
The (sometimes rocky) road to a paper
lmao.bearblog.dev·1d·
Discuss: Hacker News
🎯Performance Proofs
Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
arxiv.org·1d
⚖️Verification Calculi
The Ultimate Secure Code Review Checklist
boostsecurity.io·11h
🛡️WebAssembly Security
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.com·18h·
Discuss: Substack
🎯Gradual Typing
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·17h·
Discuss: Hacker News
🔒WASM Capabilities
🎿“Minimum Operations to Make the Integer Zero” LeetCode: 2749 [C++, JavaScript, Python]
dev.to·21h·
Discuss: DEV
📐Interval Arithmetic
Should We Use LLMs As If They Were Swiss Knives?
towardsdatascience.com·1d
💻Local LLMs
So you want to control flow in PyTorch 2
blog.ezyang.com·1h·
Discuss: Hacker News
✨Effect Handlers
Rust for Big Data: How We Built a MPP Query Executor on S3 from Scratch
databend.com·5h·
Discuss: Hacker News
🗄️Database Sharding
Days 21-22: Service Topology Visualization & Dynamic UI Generation Complete
dev.to·1d·
Discuss: DEV
👁️System Observability
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·19h·
Discuss: Hacker News
🔍Concolic Testing
Cut Costs, Not Accuracy: LLM-Powered Data Processing with Guarantees
arxiv.org·1d
💻Local LLMs
Notion's hosted MCP server: an inside look
notion.com·1d·
Discuss: Hacker News
🔌Interface Evolution
MileSan: Detecting μ-Architectural Leakage via Differential HW/SW Taint Tracking
comsec.ethz.ch·4h·
Discuss: Hacker News
🛡️RISC-V Security